Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
721	Microsoft PowerPoint - tah_hybrid_systems_from_models_to_code.ppt Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Logic in computer science Theoretical computer science Model checking Computer chess Chess Outline of chess Games Formal methods Formal verification
722	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
723	NuSMV 2.3 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:31:30 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
724	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri ITC-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:46:53 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Model checkers Electrical engineering NuSMV
725	NuSMV 2.5 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri FBK-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2011-06-16 06:18:42 NuSMV Technology Automation Electric motors Model checking Inverter Semaphore Asynchronous circuit Electrical engineering Model checkers Electromagnetism
726	Foundations of Hybrid and Embedded Software and Systems University of California, Berkeley, CHESS Vanderbilt University, ISIS Memphis State, Mathematics Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Actor model System Concurrency Science Systems science Knowledge Embedded system Model-based design Model checking
727	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
728	Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking Michael Martin Computer Science Department Stanford University [removed] Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2008-05-13 19:08:45
729	Automatic Verification of  Competitive Stochastic Systems  Dave Parker  University of Birmingham University of Liverpool, May 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-29 18:24:25 Model checking Stochastic PRISM model checker Markov chain Statistics Probability and statistics Model checkers
730	Verification of Probabilistic  Real-time Systems    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-08-29 08:21:43 Probability and statistics Model checking PRISM model checker Markov chain Markov decision process Construction and Analysis of Distributed Processes Statistics Markov processes Model checkers

UPDATE